退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过程序翻译对数组和映射进行简单抽象
Monniaux, David; Alberti, Francesco;
机译:带有数组的线性程序的反例指导的抽象优化
机译:带有数组的程序对插值的惰性抽象的扩展
机译:通过抽象和重新实现的程序翻译
机译:一种将计划的软件二进制文件转换为现场可编程门阵列的方法
机译:单纯疱疹病毒1的US3蛋白激酶介导BAD的翻译后修饰并在没有其他病毒蛋白的情况下防止BAD诱导的程序性细胞死亡
机译:用于将系统地址转换为结构地址的基于数组的内存抽象
机译:通过以太网对现场可编程门阵列(FPGA)进行地址映射控制的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。